9 research outputs found
Perfect matchings and Quantum physics: Bounding the dimension of GHZ states
Greenberger-Horne-Zeilinger (GHZ) states are quantum states involving at
least three entangled particles. They are of fundamental interest in quantum
information theory and have several applications in quantum communication and
cryptography. Motivated by this, physicists have been designing various
experiments to create high-dimensional GHZ states using multiple entangled
particles. In 2017, Krenn, Gu and Zeilinger discovered a bridge between
experimental quantum optics and graph theory. A large class of experiments to
create a new GHZ state are associated with an edge-coloured edge-weighted graph
having certain properties. Using this framework, Cervera-Lierta, Krenn, and
Aspuru-Guzik proved using SAT solvers that through these experiments, the
maximum dimension achieved is less than using particles,
respectively. They further conjectured that using particles, the maximum
dimension achievable is less than [Quantum 2022]. We make
progress towards proving their conjecture by showing that the maximum dimension
achieved is less than .Comment: 11 pages, 3 figure
Generalizations of Length Limited Huffman Coding for Hierarchical Memory Settings
In this paper, we study the problem of designing prefix-free encoding schemes having minimum average code length that can be decoded efficiently under a decode cost model that captures memory hierarchy induced cost functions. We also study a special case of this problem that is closely related to the length limited Huffman coding (LLHC) problem; we call this the soft-length limited Huffman coding problem. In this version, there is a penalty associated with each of the n characters of the alphabet whose encodings exceed a specified bound D(? n) where the penalty increases linearly with the length of the encoding beyond D. The goal of the problem is to find a prefix-free encoding having minimum average code length and total penalty within a pre-specified bound P. This generalizes the LLHC problem. We present an algorithm to solve this problem that runs in time O(nD). We study a further generalization in which the penalty function and the objective function can both be arbitrary monotonically non-decreasing functions of the codeword length. We provide dynamic programming based exact and PTAS algorithms for this setting
No distributed quantum advantage for approximate graph coloring
We give an almost complete characterization of the hardness of -coloring
-chromatic graphs with distributed algorithms, for a wide range of models
of distributed computing. In particular, we show that these problems do not
admit any distributed quantum advantage. To do that: 1) We give a new
distributed algorithm that finds a -coloring in -chromatic graphs in
rounds, with . 2) We prove that any distributed
algorithm for this problem requires rounds.
Our upper bound holds in the classical, deterministic LOCAL model, while the
near-matching lower bound holds in the non-signaling model. This model,
introduced by Arfaoui and Fraigniaud in 2014, captures all models of
distributed graph algorithms that obey physical causality; this includes not
only classical deterministic LOCAL and randomized LOCAL but also quantum-LOCAL,
even with a pre-shared quantum state.
We also show that similar arguments can be used to prove that, e.g.,
3-coloring 2-dimensional grids or -coloring trees remain hard problems even
for the non-signaling model, and in particular do not admit any quantum
advantage. Our lower-bound arguments are purely graph-theoretic at heart; no
background on quantum information theory is needed to establish the proofs
Learning Sparse Fixed-Structure Gaussian Bayesian Networks
CoRRarXiv:2107.10450complete
No distributed quantum advantage for approximate graph coloring
We give an almost complete characterization of the hardness of -coloring -chromatic graphs with distributed algorithms, for a wide range of models of distributed computing. In particular, we show that these problems do not admit any distributed quantum advantage. To do that:1. We give a new distributed algorithm that finds a -coloring in -chromatic graphs in rounds, with .2. We prove that any distributed algorithm for this problem requires rounds.Our upper bound holds in the classical, deterministic LOCAL model, while the near-matching lower bound holds in the non-signaling model. This model, introduced by Arfaoui and Fraigniaud in 2014, captures all models of distributed graph algorithms that obey physical causality; this includes not only classical deterministic LOCAL and randomized LOCAL but also quantum-LOCAL, even with a pre-shared quantum state.We also show that similar arguments can be used to prove that, e.g., 3-coloring 2-dimensional grids or -coloring trees remain hard problems even for the non-signaling model, and in particular do not admit any quantum advantage. Our lower-bound arguments are purely graph-theoretic at heart; no background on quantum information theory is needed to establish the proofs
No distributed quantum advantage for approximate graph coloring
We give an almost complete characterization of the hardness of -coloring -chromatic graphs with distributed algorithms, for a wide range of models of distributed computing. In particular, we show that these problems do not admit any distributed quantum advantage. To do that:1. We give a new distributed algorithm that finds a -coloring in -chromatic graphs in rounds, with .2. We prove that any distributed algorithm for this problem requires rounds.Our upper bound holds in the classical, deterministic LOCAL model, while the near-matching lower bound holds in the non-signaling model. This model, introduced by Arfaoui and Fraigniaud in 2014, captures all models of distributed graph algorithms that obey physical causality; this includes not only classical deterministic LOCAL and randomized LOCAL but also quantum-LOCAL, even with a pre-shared quantum state.We also show that similar arguments can be used to prove that, e.g., 3-coloring 2-dimensional grids or -coloring trees remain hard problems even for the non-signaling model, and in particular do not admit any quantum advantage. Our lower-bound arguments are purely graph-theoretic at heart; no background on quantum information theory is needed to establish the proofs